$\forall$$T$:Type, $L$:($T$ List), $x$, $y$:$T$. adjacent($T$;rev($L$);$x$;$y$) $\Leftarrow\!\Rightarrow$ adjacent($T$;$L$;$y$;$x$)